Semantics of trace relations in requirements models for consistency checking and inferencing

Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements

SUGAR-DIP trial: Oral medication strategy versus insulin for diabetes in pregnancy, study protocol for a multicentre, open-label, non-inferiority, randomised controlled trial

Introduction In women with gestational diabetes mellitus (GDM) requiring pharmacotherapy, insulin was the established first-line treatment. More recently, oral glucose lowering drugs (OGLDs) have gained popularity as a patient-friendly, less expensive and safe alternative. Monotherapy with metformin or glibenclamide (glyburide) is incorporated in several international guidelines. In women who do not reach sufficient glucose control with OGLD monotherapy, usually insulin is added, either with or without continuation of OGLDs. No reliable data from clinical trials, however, are available on the effectiveness of a treatment strategy using all three agents, metformin, glibenclamide and insulin, in a stepwise approach, compared with insulin-only therapy for improving pregnancy outcomes. In this trial, we aim to assess the clinical effectiveness, cost-effectiveness and patient experience of a stepwise combined OGLD treatment protocol, compared with conventional insulin-based therapy for GDM. Methods The SUGAR-DIP trial is an open-label, multicentre randomised controlled non-inferiority trial. Participants are women with GDM who do not reach target glycaemic control with modification of diet, between 16 and 34 weeks of gestation. Participants will be randomised to either treatment with OGLDs, starting with metformin and supplemented as needed with glibenclamide, or randomised to treatment with insulin. In women who do not reach target glycaemic control with combined metformin and glibenclamide, glibenclamide will be substituted with insulin, while continuing metformin. The primary outcome will be the incidence of large-for-gestational-age infants (birth weight >90th percentile). Secondary outcome measures are maternal diabetes-related endpoints, obstetric complications, neonatal complications and cost-effectiveness analysis. Outcomes will be analysed according to the intention-to-treat principle. Ethics and dissemination The study protocol was approved by the Ethics Committee of the Utrecht University Medical Centre. Approval by the boards of management for all participating hospitals will be obtained. Trial results will be submitted for publication in peer-reviewed journals

Biometric features and privacy Condemned, based upon your finger print

What information is available in biometric features besides that needed for the biometric recognition process? What if a biometric feature contains Personally Identifiable Information? Will the whole biometric system become a threat to privacy? This paper is an attempt to quantifiy the link between biometrics and privacy. For a number of biometric-personal(ity) combinations, the availability, detectability and retrievability of Personally Identifiable Information from biometric features is calculated. This paper should make the reader more aware of the possibilities in this area and inspire further research. By the use of a metaanalysis, the possible risks of the fingerprint biometric and three personal(ity) traits are inventoried. Based on d ′-values the retrievability of Personally Identifiable Information is determined. The results show that in all three possible biometric-personal(ity) combinations Personally Identifiable Information can be retrieved better than 50/50 guessing. This implies storing biometric data in the clear can be a threat to privacy.

Critical role for complement receptor C5aR2 in the pathogenesis of renal ischemia-reperfusion injury

The complement system, and specifically C5a, is involved in renal ischemia-reperfusion (IR) injury. The 2 receptors for complement anaphylatoxin C5a (C5aR1 and C5aR2) are expressed on leukocytes as well as on renal epithelium. Extensive evidence shows that C5aR1 inhibition protects kidneys from IR injury; however, the role of C5aR2 in IR injury is less clear as initial studies proposed the hypothesis that C5aR2 functions as a decoy receptor. By Using wild-type, C5aR1(-/-), and C5aR2(-/-) mice in a model of renal IR injury, we found that a deficiency of either of these receptors protected mice from renal IR injury. Surprisingly, C5aR2(-/-) mice were most protected and had lower creatinine levels and reduced acute tubular necrosis. Next, an in vivo migration study demonstrated that leukocyte chemotaxis was unaffected in C5aR2(-/-) mice, whereas neutrophil activation was reduced by C5aR2 deficiency. To further investigate the contribution of renal cell-expressed C5aR2 vs. leukocyte-expressed C5aR2 to renal IR injury, bone marrow chimeras were created. Our data show that both renal cell-expressed C5aR2 and leukocyte-expressed C5aR2 mediate IR-induced renal dysfunction. These studies reveal the importance of C5aR2 in renal IR injury. They further show that C5aR2 is a functional receptor, rather than a decoy receptor, and may provide a new target for intervention

Survival of patients with deficient mismatch repair metastatic colorectal cancer in the pre-immunotherapy era

Background: Metastatic colorectal cancer patients with deficient mismatch repair (dMMR mCRC) benefit from immunotherapy. Interpretation of the single-arm immunotherapy trials is complicated by insignificant survival data during systemic non-immunotherapy. We present survival data on a large, comprehensive cohort of dMMR mCRC patients, treated with or without systemic non-immunotherapy. Methods: Two hundred and eighty-one dMMR mCRC patients (n = 54 from three prospective Phase 3 CAIRO trials; n = 227 from the Netherlands Cancer Registry). Overall survival was analysed from diagnosis of mCRC (OS), from initiation of first-line (OS1) and second-line (OS2) systemic treatment. Cox regression analysis examined prognostic factors. As comparison for OS 2746 MMR proficient mCRC patients were identified. Results: Of 281 dMMR patients, 62% received first-line and 26% second-line treatment. Median OS was 16.0 months (13.8–19.6) with antitumour therapy and 2.5 months (1.8–3.5) in untreated patients. OS1 was 12.8 months (10.7–15.2) and OS2 6.2 months (5.4–8.9) in treated dMMR patients. Treated dMMR patients had a 7.6-month shorter median OS than pMMR patients. Conclusion: Available data from immunotherapy trials lack a control arm with standard systemic treatment. Given the poor outcome compared to the immunotherapy results, our data strongly suggest a survival benefit of immunotherapy in dMMR mCRC patients

SUGAR-DIP trial:Oral medication strategy versus insulin for diabetes in pregnancy, study protocol for a multicentre, open-label, non-inferiority, randomised controlled trial

Introduction In women with gestational diabetes mellitus (GDM) requiring pharmacotherapy, insulin was the established first-line treatment. More recently, oral glucose lowering drugs (OGLDs) have gained popularity as a patient-friendly, less expensive and safe alternative. Monotherapy with metformin or glibenclamide (glyburide) is incorporated in several international guidelines. In women who do not reach sufficient glucose control with OGLD monotherapy, usually insulin is added, either with or without continuation of OGLDs. No reliable data from clinical trials, however, are available on the effectiveness of a treatment strategy using all three agents, metformin, glibenclamide and insulin, in a stepwise approach, compared with insulin-only therapy for improving pregnancy outcomes. In this trial, we aim to assess the clinical effectiveness, cost-effectiveness and patient experience of a stepwise combined OGLD treatment protocol, compared with conventional insulin-based therapy for GDM. Methods The SUGAR-DIP trial is an open-label, multicentre randomised controlled non-inferiority trial. Participants are women with GDM who do not reach target glycaemic control with modification of diet, between 16 and 34 weeks of gestation. Participants will be randomised to either treatment with OGLDs, starting with metformin and supplemented as needed with glibenclamide, or randomised to treatment with insulin. In women who do not reach target glycaemic control with combined metformin and glibenclamide, glibenclamide will be substituted with insulin, while continuing metformin. The primary outcome will be the incidence of large-for-gestational-age infants (birth weight >90th percentile). Secondary outcome measures are maternal diabetes-related endpoints, obstetric complications, neonatal complications and cost-effectiveness analysis. Outcomes will be analysed according to the intention-to-treat principle. Ethics and dissemination The study protocol was approved by the Ethics Committee of the Utrecht University Medical Centre. Approval by the boards of management for all participating hospitals will be obtained. Trial results will be submitted for publication in peer-reviewed journals

Ventilation management and clinical outcomes in invasively ventilated patients with COVID-19 (PRoVENT-COVID): a national, multicentre, observational cohort study

Background: Little is known about the practice of ventilation management in patients with COVID-19. We aimed to describe the practice of ventilation management and to establish outcomes in invasively ventilated patients with COVID-19 in a single country during the first month of the outbreak. Methods: PRoVENT-COVID is a national, multicentre, retrospective observational study done at 18 intensive care units (ICUs) in the Netherlands. Consecutive patients aged at least 18 years were eligible for participation if they had received invasive ventilation for COVID-19 at a participating ICU during the first month of the national outbreak in the Netherlands. The primary outcome was a combination of ventilator variables and parameters over the first 4 calendar days of ventilation: tidal volume, positive end-expiratory pressure (PEEP), respiratory system compliance, and driving pressure. Secondary outcomes included the use of adjunctive treatments for refractory hypoxaemia and ICU complications. Patient-centred outcomes were ventilator-free days at day 28, duration of ventilation, duration of ICU and hospital stay, and mortality. PRoVENT-COVID is registered at ClinicalTrials.gov (NCT04346342). Findings: Between March 1 and April 1, 2020, 553 patients were included in the study. Median tidal volume was 6·3 mL/kg predicted bodyweight (IQR 5·7–7·1), PEEP was 14·0 cm H2O (IQR 11·0–15·0), and driving pressure was 14·0 cm H2O (11·2–16·0). Median respiratory system compliance was 31·9 mL/cm H2O (26·0–39·9). Of the adjunctive treatments for refractory hypoxaemia, prone positioning was most often used in the first 4 days of ventilation (283 [53%] of 530 patients). The median number of ventilator-free days at day 28 was 0 (IQR 0–15); 186 (35%) of 530 patients had died by day 28. Predictors of 28-day mortality were gender, age, tidal volume, respiratory system compliance, arterial pH, and heart rate on the first day of invasive ventilation. Interpretation: In patients with COVID-19 who were invasively ventilated during the first month of the outbreak in the Netherlands, lung-protective ventilation with low tidal volume and low driving pressure was broadly applied and prone positioning was often used. The applied PEEP varied widely, despite an invariably low respiratory system compliance. The findings of this national study provide a basis for new hypotheses and sample size calculations for future trials of invasive ventilation for COVID-19. These data could also help in the interpretation of findings from other studies of ventilation practice and outcomes in invasively ventilated patients with COVID-19. Funding: Amsterdam University Medical Centers, location Academic Medical Center